A logic programming language based on th
β
Seif Haridi
π
Article
π
1990
π
Springer
π
English
β 756 KB