Simple Prolog Interpreter in Python

Install dependencies

poetry install

Run REPL

Using poetry:

poetry run prolog [options] path

python -m prolog.prolog [options] path

For example,

poetry run prolog tests/data/puzzle1.prolog

Sample REPL session output:

poetry run prolog tests/data/myadven.prolog 

Welcome to Simple Prolog
ctrl-c to quit
> location(desk, office)
yes
> location(desk, office1)
no
> location(X, Y)
X = desk Y = office 
X = apple Y = kitchen 
X = flashlight Y = desk 
X = 'washing machine' Y = cellar 
X = nani Y = 'washing machine' 
X = broccoli Y = kitchen 
X = crackers Y = kitchen 
X = computer Y = office 
no
> door(kitchen, R), location(T, R).
R = office T = desk 
R = office T = computer 
R = cellar T = 'washing machine' 
no

Simple Prolog supports following built-ins: write, tab, nl and fail.

You can use them to display values of variables or text:

Welcome to Simple Prolog
ctrl-c to quit
> room(X), tab, write(X), nl.
        kitchen
X = kitchen 
        office
X = office 
        hall
X = hall 
        'dinning room'
X = 'dinning room' 
        cellar
X = cellar 
no
>

or if you do not want to see the solutions just print out:

> write('This is the list of rooms:'), nl, room(X), tab, write(X), nl, fail.
'This is the list of rooms:'
        kitchen
        office
        hall
        'dinning room'
        cellar
no
>

You can also perform simple arithmetic operations. For example given following rule:

c_to_f(C, F) :- F is C * 9 / 5 + 32.

You can ask Prolog to convert Celsius to Fahrenheit:

Welcome to Simple Prolog
ctrl-c to quit
> c_to_f(0, F).
F = 32.0
yes
> c_to_f(100, F).
F = 212.0
yes
>

You can also ask Prolog REPL to do calculation directly:

Welcome to Simple Prolog
ctrl-c to quit
> Z is 4 * 10 - 2 * 4.
Z = 32.0
yes
> Z is 4 * (10 - 2) * 4.
Z = 128.0
yes
>

Following logical operators are supported:

==
=/
<
=<
>
>=

Here is an example of rule that uses logical operator:

freezing(X) :- X =< 32.

Welcome to Simple Prolog
ctrl-c to quit
> freezing(30).
yes
>

Or you can use it directly from REPL:

Welcome to Simple Prolog
ctrl-c to quit
> X is 2+2, X > 1.
yes
> X is 2+2, X > 5.
no
>

Simple Prolog also has support for lists. Here are some examples:

Welcome to Simple Prolog
ctrl-c to quit
> rgb([red, green, blue]).
yes
> rgb([R, G, B]).
R = red G = green B = blue 
yes
> rgb([_, G, _]).
G = green 
yes
> rgb([R, green, B]).
R = red B = blue 
yes
> rgb([red, green | H]).
H = [blue] 
yes
> rgb([H | T]).
H = red T = [green, blue] 
yes
> rgb([H | [X, Y]]).
H = red X = green Y = blue 
yes
>

Test

Linter:

poetry run flake8

Tests:

poetry run  pytest --cov=prolog tests

Acknoledgments

This was inspired and based on this article

Data Structures

Prolog implements data structures by representing them as a functor with fixed number of arguments: functor(arg1, arg2, ...). We should support this but I propose that for simpler and more convenient integration with other languages, for example Python, we would support structure as a Python like object. For example, objects represented as functor:

object(candle, red, small).
object(apple, red, small).
object(apple, green, small).

could be represented as Python class that would be then registered with Prolog library:

class Object:
    def __init__(self, name, color, size):
        self.name = name
        self.color = color
        self.size = size

You would call Prolog library with register(Object) to indicate that the instance of Object class will be used as a data structure. To use this in Prolog you would type something like this:

room(kitchen, object: Object).

in_room(X, Name) :- room(X, object.name = Name)

Use chapter 8 of Adventures in Prolog by Dennis Merritt to guide what functionality should be available.

robjsliwa / pyprolog Goto Github PK

pyprolog's Introduction

Simple Prolog Interpreter in Python

Install dependencies

Run REPL

Test

Acknoledgments

pyprolog's People

Contributors

Stargazers

Watchers

pyprolog's Issues

Support for lists

Implement Arithmetic

Data Structures

Support for Cut operator

Dynamic Database Updates

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent