Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zsuzsa Farkas
Listlog — A PROLOG Extension for List Processing
Related publications
Prolog
Reihe Rechtswissenschaft
A Partial Breadth-First Execution Model for Prolog
Prolog
Modules for Prolog Revisited
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A Tabled Prolog Program for Solving Sokoban
A Practical Type Analysis for Verification of Modular Prolog Programs
Prolog WebSite
PROLogic: A FUZZY TEMPORAL CONSTRAINT PROLOG
International Journal of Applied Mathematics
Computational Theory
Mathematics
