• Home
• org.tweetyproject.arg
• delp
• 1.27
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ject.arg.delp.1.27.source-code.birds.txt Maven / Gradle / Ivy

Bird(X) <- Chicken(X).
Bird(X) <- Penguin(X).
~Flies(X) <- Penguin(X).
Chicken(tina).
Penguin(tweety).
Scared(tina).

Flies(X) -< Bird(X).
~Flies(X) -< Chicken(X).
Flies(X) -< Chicken(X), Scared(X).
Nests_in_trees(X) -< Flies(X).