logice

This is a experimental project that aim to reasoning social activities with logic programming. It contains a logic programming language, which will have Lisp-like syntax and Prolog semantics.

The implementation of langauge is based on this paper.

(Relation (entity0 entity1) (goal0 goal1 goal2))

For example

// assertion
(true)

// fact that a is male
(male (a))
// fact that b is female
(female (b))

// fact that a is c's father
(father (a c))
// fact that b is c's mother
(mother (b c))

// rule that A and B are couple if A is C's father and B is C's mother
(couple (A B)
  (
    (father (A C))
    (mother (B C))
  )
)