https://github.com/assios/ilp-implementation
https://github.com/assios/ilp-implementation
Last synced: 10 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/assios/ilp-implementation
- Owner: Assios
- Created: 2015-02-12T01:34:49.000Z (almost 11 years ago)
- Default Branch: master
- Last Pushed: 2015-03-20T06:52:28.000Z (almost 11 years ago)
- Last Synced: 2025-01-24T19:36:35.221Z (11 months ago)
- Language: Python
- Size: 239 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# ILP implementation
An implementation of intuitionistic logic programming in Python.
## Usage
```sh
$ python nprolog.py filename.ilp
```
**Then just run queries!**
## Prolog syntax
This implementation uses a regular Prolog syntax, with some changes to support intuitionistic logic programming. You add facts and rules to an .ilp-file, and then you can run queries on it after loading the file.
### Hypothetical queries
The following line means that nearPopular(A, C) is true if friend(A, C) would make popular(A) true:
```sh
nearPopular(A, C):- =>(popular(A), friend(A, C))
```