Arity/Prolog32 is an extended version of Prolog, a logic programming language associated with artificial intelligence and computational linguistics. It was originally developed at the Arity Corporation by Peter Gabel, Paul Weiss and Jim Greene.[1]
Arity/Prolog32 allows a developer to create and execute Prolog programs for Windows, which are also operable on Linux using WINE. The software includes a compiler and interpreter written in Prolog, C, Assembler. The interpreter provides debugging support, and can be invoked from compiled code for applications that require dynamically modifiable code. It can either produce stand-alone programs, dynamic-link libraries, or applications where the code becomes subjugated within another system (one written, for example, in C). The software has been applied in various ways across a range of industries. For example, in the clothing industry, it was used to address differentials in quantity related to size,[2] while in education, it provided a semi-automatic tool for teaching aids.[3][4] A grammatical analyzer was implemented with SWI-Prolog,[5] and after it was tested and analyzed with the Airty/Prolog32 interpreter and in the study of protein folding simulation.[6]
See also
editReferences
edit- ^ "Arity/Prolog32 - Peter Gabel".
- ^ Rosenblueth, David A. (1 April 1998). "A Prolog Program for Decomposing Clothing Orders into Lays". ACM SIGAPP Applied Computing Review. 6 (1): 26–32. CiteSeerX 10.1.1.25.824. doi:10.1145/297090.297112. S2CID 14891302.
- ^ "Prototypes and Initial Experimentation on the Tools of the TACCLE Methodology" (PDF). i.cs.hku.hk. The University of Hong Kong. 2000.
- ^ "TACCLE: A Methodology for ObjectOriented Software Testing at the Class and Cluster Levels".
- ^ "SWI-Prolog home page moved". Archived from the original on 2004-11-03. Retrieved 2016-06-03. version 4.0.11
- ^ "Protein Folding Simulation in CCP" (PDF). Conference Paper in Lecture Notes in Computer Science. September 2004.
{{cite web}}: CS1 maint: others (link)