![]() Logic Programming and Nonmonotonic Reasoning. To facilitate the mapping between Java and Prolog artefacts, we used Logtalk (Moura (2003 (Moura (, 2009), an object-oriented logic programming language implemented using Prolog as a backend. Gorgias-C: Extending Argumentation with Constraint Solving (PDF). ![]() CS1 maint: numeric names: authors list (link) "Developer Tools – LogtalkDotOrg/logtalk3 Wiki – GitHub". ^ "Practical Aspects of Declarative Languages".Applications of Declarative Programming and Knowledge Management. Programming Patterns for Logtalk Parametric Objects. ![]() Logtalk: Design of an Object-Oriented Logic Programming Language. It also provides a module system based on de facto standard core module functionality (internally, modules are compiled as prototypes). Object-orientation emphasizes developing discrete, reusable units of software, while logic programming emphasizes representing the knowledge of each object in a declarative way.Īs an object-oriented programming language, Logtalk's major features include support for both classes (with optional metaclasses) and prototypes, parametric objects, protocols (interfaces), categories (components, aspects, hot patching), multiple inheritance, public/protected/private inheritance, event-driven programming, high-level multi-threading programming, reflection, and automatic generation of documentation.įor Prolog programmers, Logtalk provides wide portability, featuring predicate namespaces (supporting both static and dynamic objects), public/protected/private object predicates, coinductive predicates, separation between interface and implementation, simple and intuitive meta-predicate semantics, lambda expressions, definite clause grammars, term-expansion mechanism, and conditional compilation. Logtalk aims to bring together the advantages of object-oriented programming and logic programming.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |