Publication:4259975
From MaRDI portal
zbMath0924.68056MaRDI QIDQ4259975
No author found.
Publication date: 9 September 1999
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-03/A99-03.html
68N17: Logic programming
Related Items
Functional Logic Programming in Maude, Probabilistic modelling, inference and learning using logical theories, Programming with narrowing: a tutorial, A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424., Probabilistic reasoning in a classical logic, Operational semantics for declarative multi-paradigm languages, Evaluation strategies for functional logic programming, Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.
Uses Software