next_inactive up previous







Computational Logic
Fundamentals (of Definite Programs):
Syntax and Semantics

Towards Logic Programming

Towards Logic Programming (Contd.)

Towards Logic Programming: Another (more compact) Clausal Form

Some Logic Programming Terminology - ``Syntax'' of Logic Programs

Some Logic Programming Terminology (Contd.)

LOGIC: Declarative ``Reading'' (Informal Semantics)

LOGIC: Declarative Semantics - Herbrand Base and Universe

Herbrand Interpretations and Models

Declarative Semantics, Completeness, Correctness

CONTROL: Linear (Input) Resolution in this Clausal Form


We now turn to the operational semantics of logic programs,
given by a concrete operational procedure: Linear (Input) Resolution.

CONTROL: Linear (Input) Resolution in this Clausal Form (Contd.)

Example

CONTROL: A proof using LD-Resolution


CONTROL: Rules and SLD-Resolution

CONTROL: Rules and SLD-Resolution (Contd.)

CONTROL: Procedural reading of a logic program

CONTROL: Procedural reading of a logic program (Contd.)

Towards a Fixpoint Semantics for LP - Fixpoint Basics

Towards a Fixpoint Semantics for LP - Fixpoint Basics (Contd.)

Lattice Structures

\begin{center}\vbox{\input{/home/logalg/public_html/slides/Figs/finiteness_land.latex}
}\end{center}

A Fixpoint Semantics for Logic Programs, and Equivalences

A Fixpoint Semantics for Logic Programs: Example


next_inactive up previous
Last modification: Wed Jan 3 19:10:51 CET 2007 <webmaster@clip.dia.fi.upm.es>[CLIP] [FIM] [UNM]