Inductive Mercury Programming Barnaby Fisher and James Cussens Dept of Computer Science, University of York, Heslington, York, YO10 5DD, UK {barney|jc}@cs.york.ac.uk Abstract. We investigate using the Mercury language t

Source URL: www.cs.york.ac.uk

• Prolog
• Logic programming
• Query languages
• Inductive logic programming
• Predicate
• Clause
• Mercury
• PROGOL
• SQL
• Computing
• Software engineering
• Computer programming

07 MELATE PROGOL DOMINGO RESULTADOS[removed]

Source URL: expreso.com.mx

A Comparative Study on Methods for Reducing Myopia of Hill-Climbing Search in Multirelational Learning Lourdes Pe˜ na Castillo Otto-von-Guericke-University Magdeburg, Germany

Source URL: www.machinelearning.org

• Automated theorem proving
• Logic programming
• Inductive logic programming
• PROGOL
• Unit propagation
• Clause
• Macro
• Rule induction
• Time complexity
• Theoretical computer science
• Computer programming
• Applied mathematics