Modal Functional Logic Programming

This paper introduces aspects of a novel modal functional logic programming language called Bach that is an extension of the existing functional logic language Escher. Language facilit ies available in Bach but not in Escher include (1) support for modalities and (2) an improved theorem-proving capability. We show how the increased expressiveness of Bach can be exploited to produce easy-to-understand programs for solving a variety of computational problems that arise in applications, especially agents app lications.

[1]  M. Hanus,et al.  Curry: An Integrated Functional Logic Language , 2003 .

[2]  Manolis Gergatsoulis,et al.  Temporal and Modal Logic Programming Languages , 2002 .

[3]  Michael Mendler,et al.  Special issue: Modalities in type theory , 2001, Math. Struct. Comput. Sci..

[4]  Michael Hanus,et al.  The Integration of Functions into Logic Programming: From Theory to Practice , 1994, J. Log. Program..

[5]  John W. Lloyd,et al.  Personalisation for user agents , 2005, AAMAS '05.

[6]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[7]  Simon L. Peyton Jones,et al.  The Implementation of Functional Programming Languages , 1987 .

[8]  John W. Lloyd.  Logic for learning - learning comprehensible theories from structured data , 2003, Cognitive Technologies.

[9]  Richard L. Mendelsohn,et al.  First-Order Modal Logic , 1998 .

[10]  Martin Giese,et al.  Incremental Closure of Free Variable Tableaux , 2001, IJCAR.

[11]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[12]  John W. Lloyd,et al.  Learning Modal Theories , 2007, ILP.

[13]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[14]  John W. Lloyd,et al.  The Gödel programming language , 1994 .

[15]  Gopalan Nadathur,et al.  Higher-Order Logic Programming , 1986, ICLP.

[16]  Frank Pfenning,et al.  Functional programming with names and necessity , 2004 .

[17]  Wanli Ma,et al.  An Overview of Temporal and Modal Logic Programming , 1994, ICTL.

[18]  Luis Fariñas del Cerro,et al.  A General Framework for Pattern-Driven Modal Tableaux , 2002, Log. J. IGPL.

[19]  John W. Lloyd,et al.  The Go¨del programming language , 1994 .

[20]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[21]  M. Fitting.  Types, Tableaus, and Gödel's God , 2002 .

[22]  John W. Lloyd,et al.  Programming in an Integrated Functional and Logic Language , 1999, J. Funct. Log. Program..

[23]  Linh Anh Nguyen.  Multimodal logic programming , 2006, Theor. Comput. Sci..

[24]  R. Rivest.  Learning Decision Lists , 1987, Machine Learning.