Search results
Jump to navigation
Jump to search
- '''Objlog''' was a [[frame-based language]] combining objects and [[Prolog II]] from [[CNRS]], Marseille, France. * [[Comparison of Prolog implementations]] ...752 bytes (88 words) - 02:46, 15 March 2024
- ...0''' ('''KL0''') is a sequential [[logic programming]] language based on [[Prolog]], used in the [[ICOT]] [[Fifth generation computer]] project. * [[Comparison of Prolog implementations]] ...817 bytes (92 words) - 02:44, 15 March 2024
- {{Infobox programming language | paradigm = [[Logic programming]] ...2 KB (205 words) - 19:45, 5 July 2021
- | name = GNU Prolog | title = GNU Prolog ...2 KB (264 words) - 00:33, 31 October 2024
- ...rded Horn Clauses]] language by Kazunori Ueda), making it a parallelised [[Prolog]] variant. * [[Comparison of Prolog implementations]] ...2 KB (218 words) - 22:32, 28 September 2025
- * [[SWI-Prolog]], a free implementation of the programming language Prolog ...mbler]] mnemonic to perform a software interrupt on the ARM microprocessor family ...1 KB (141 words) - 04:15, 4 January 2024
- {{For|the Philippine language with this language code|Sambal language}} {{Infobox programming language ...5 KB (703 words) - 18:34, 28 May 2025
- {{Infobox programming language | name = Visual Prolog ...8 KB (1,128 words) - 22:28, 25 February 2025
- {{Short description|Implementation of the programming language Prolog}} | name = SWI-Prolog ...8 KB (1,032 words) - 10:08, 17 February 2025
- {{Short description|Computer programming language}} {{Infobox programming language ...7 KB (974 words) - 10:21, 27 May 2025
- {{Short description|Programming language}} {{Infobox programming language ...8 KB (1,192 words) - 20:33, 28 April 2025
- {{Short description|Constraint logic programming system}} | name = ECLiPSe Constraint Logic Programming System ...8 KB (1,033 words) - 22:56, 15 January 2025
- ...used for [[logic programming]] and for the formalization of [[programming language theory]]. ...f program (called a "signature") is a collection of declarations of [[type family|type families]] (relations) and constants that inhabit those type families. ...7 KB (990 words) - 21:57, 22 August 2024
- {{Short description|Functional logic programming language}} {{Distinguish|Mercurial|Mercury (RemObjects BASIC programming language)}} ...10 KB (1,336 words) - 11:00, 28 August 2025
- {{Short description|Variant of the BASIC programming language}} {{Infobox programming language ...4 KB (522 words) - 04:07, 15 August 2025
- ...tive]] [[syntax]] of language, both [[natural language]] and [[programming language]]s. EAGs are a member of the family of [[two-level grammar]]s; more specifically, a restriction of [[Van Wijnga ...3 KB (396 words) - 23:18, 27 June 2025
- {{Short description|Lisp-like programming language}} {{Infobox programming language ...9 KB (1,137 words) - 23:08, 25 December 2024
- ==A supposed limitation of logic programming== ...n." which he attributed to Hayes in his 1988 paper on the early history of Prolog. Contrary to Kowalski and Hayes, [[Carl Hewitt]] claimed that logical deduc ...10 KB (1,414 words) - 19:27, 18 August 2024
- {{Infobox programming language ...ramming|procedural]], [[Functional programming|functional]], [[Declarative programming|declarative]]<!-- supports some --> ...11 KB (1,549 words) - 10:29, 13 December 2024
- ...ook|last1=Ferber|first1=J.|title=Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '89|chapter=Computational refl ...ms, languages and applications - OOPSLA '89|last2=Cointe|first2=P.|chapter=Programming with explicit metaclasses in Smalltalk-80|year=1989|pages=419–431|doi=10.11 ...4 KB (507 words) - 17:56, 29 January 2023