• Home
• org.tweetyproject.lp
• asp
• 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.lp.asp.1.27.source-code.ex4.asp Maven / Gradle / Ivy

bird(X) :- penguin(X).
flies(X) :- bird(X), not -flies(X).
-flies(X) :- penguin(X).
flies(X) :- bat(X).
:- bird(X), bat(X).

penguin(tweety).
bat(batman).