Implementation of Axiomatic Language Walter W. Wilson [removed] http://www.axiomaticlanguage.org Univ. of Texas at Arlington Advisor: Dr. Jeff Lei

Source URL: www.axiomaticlanguage.org

• Lisp programming language
• Functional languages
• Data types
• Lisp
• S-expression
• Prolog
• Function
• Axiom
• Variable
• Mathematics
• Software engineering
• Programming language theory

Logtalk 3 User Manual Copyright © Paulo Moura [removed] http://logtalk.org/ February 20, 2015

Source URL: logtalk.org

• Programming paradigms
• Object-oriented programming
• Markup languages
• Logtalk
• Prolog
• Coinduction
• Protocol
• XEP
• XSL Formatting Objects
• Computing
• Software engineering
• Computer programming

BOOK REVIEW 125 Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987); 406 + xviii pages.

Source URL: www.jfsowa.com

• Artificial intelligence
• Philosophical logic
• Reasoning
• Logical consequence
• Prolog
• Logic programming
• Expert system
• Inference
• Epistemic modal logic
• Logic
• Mathematical logic
• Non-classical logic

JACOB JEBSEN. REEDER UND KAUFMANN[removed]EINE BIOGRAPHIE (ENTWURF) INHALT EINLEITUNG PROLOG

Source URL: www.history.hku.hk

A Tiny Specification Metalanguage Walter Wilson, Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Arlington, Texas 76019, USA [removed], [removed]

Source URL: www.axiomaticlanguage.org

• Lisp programming language
• Model theory
• Mathematical logic
• Formal languages
• Functional languages
• Prolog
• First-order logic
• Lisp
• Logic programming
• Software engineering
• Logic
• Computing

A Tutorial on Program Development and Optimization using the Ciao Preprocessor The CiaoPP Development Team January 12, 2006 Abstract

Source URL: clip.dia.fi.upm.es

• Programming language implementation
• Procedural programming languages
• Functional programming
• Lisp programming language
• Compiler optimizations
• Prolog
• Compiler
• ALGOL 68
• Partial evaluation
• Software engineering
• Computing
• Computer programming

Category-Based Composition in Object-Oriented Languages Paulo Jorge Lopes de Moura Department of Informatics University of Beira Interior[removed]Covilhã, Portugal

Source URL: logtalk.org

• Computing
• Logtalk
• Class browser
• Smalltalk
• Prolog
• Multiple inheritance
• Metaclass
• Protocol
• Mixin
• Software engineering
• Computer programming
• Object-oriented programming

Category-Based Composition in Object-Oriented Languages Paulo Jorge Lopes de Moura Department of Mathematics and Informatics University of Beira Interior 6200 Covilhã, Portugal

Source URL: logtalk.org

• Computing
• Logtalk
• Smalltalk
• Class browser
• Multiple inheritance
• Prolog
• Metaclass
• Protocol
• Class
• Software engineering
• Object-oriented programming
• Computer programming

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse Paulo Moura Dep. of Computer Science, Univ. of Beira Interior, Portugal Center for Research in Advanced Computing Systems

Source URL: logtalk.org

• Logtalk
• Prolog
• YAP
• Software engineering
• Computer programming
• Computing

Game Design for Classical AI Ian Horswill Northwestern University [removed] Abstract

Source URL: www.exag.org

• Computing
• Artificial intelligence
• Non-player character
• Strong AI
• Prolog
• Planner
• Game programmer
• Video game genres
• Video game bot
• Video game development
• Software development
• Software