Skip to content
/ kanren-family-excercise Public

An excercise in logic programming using miniKanren in python

1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

Glushiator/kanren-family-excercise

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits

.gitignore

.gitignore

 
 

README.md

README.md

 
 

base_relations.py

base_relations.py

 
 

family_facts.py

family_facts.py

 
 

family_queries_1.py

family_queries_1.py

 
 

family_relations.py

family_relations.py

 
 

kanren_ex.py

kanren_ex.py

 
 

numeric_relations.py

numeric_relations.py

 
 

requirements.txt

requirements.txt

 
 

Repository files navigation

kanren family exercise

Tested with Python 3.6+.

Uses miniKanren:

pip install miniKanren

The objective of this exercise is to explore relations in a family group and query for bits of information derived from base facts.

About

An excercise in logic programming using miniKanren in python

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages