7 lines
84 B
Racket
7 lines
84 B
Racket
#lang datalog
|
|
% p q test from Chen & Warren
|
|
q(X) :- p(X).
|
|
q(a).
|
|
p(X) :- q(X).
|
|
q(X)?
|