Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

QuLog: A logic based language for programming agents

Keith ClarkImperial College London, University of Queensland[Home Page]

Notice:  Hosted by Richard Waldinger

Date:  Tuesday, October 25th 2016 at 4:00pm

Location:  EK255 (SRI E building)  (Directions)

Webex: 

https://sri-meetings.webex.com/sri-meetings/j.php?MTID=m8fa3850a4811ed01483551e5addc5935

or to go WebEx page and join meeting 621 871 293 
   Abstract

QuLog is an integrated, higher order, flexibly typed logic+function+action rules programming language. It has evolved out of many years of teaching and using a multi-threaded Prolog system (Qu-Prolog) for multi-agent applications. QuLog is much more declarative and concise than Prolog.

A QuLog agent is a multi-threaded process where each thread queries a Belief Store of dynamic facts using rule defined relations and functions - the declarative knowledge of the agent. They can also update the Belief Store, send messages to other processes, fork and terminate threads, and do I/O. The action rules are the agent’s behavioural knowledge. They can call functions and relations, but not vice versa.

Communication between QuLog agent processes, and between QuLog processes and Python, Java or C/C++ processes, is via a publish/subscribe and addressed message routing Pedro server. Subscriptions are message term templates qualified by a Prolog test on variables in the template.

The presentation of QuLog will overview its key features, illustrating the use of its action rules to program multi-threaded agents exchanging information by informing and querying each other. The queries are answered using a type-safe meta-interpreter

(joint work with Peter Robinson)

   Bio for Keith Clark

Keith Clark has been associated with the Department of Computing, Imperial College, London since 1975. He is now Emeritus Professor at Imperial, an Honorary Professor at the University of Queensland, Brisbane and a Visiting Researcher at Cambridge University.

His early research was in the theory of logic programming of which the most notable outputs were the "Negation as Failure" paper giving a first order declarative semantics to Prolog’s not operator, implemented as failure to prove.

In 1980, with Frank McCabe, he set up Logic Programming Associates to develop Prolog systems for personal computers. Their MacProlog system was the first Prolog to have primitives for developing applications with a Mac style graphic user interface.

In 1981, with Steve Gregory, he introduced the concepts of committed choice nondeterminism and stream communication into logic programming in an un-named language that later became Parlog. The Japanese Fifth Generation GHC language was essentially a syntactic variation of Parlog.

Since 1990 his interests have moved to multi-threaded programming languages, still with a declarative emphasis, and their use for multi-agent systems and cognitive robotics applications.

The latest languages are TeleoR, a major extension of Nilsson’s Teleo-Reactive robotic agent language, and QuLog, a higher order flexibly typed logic + functional language with an upper layer of action rules.

He has consulted for the Japanese Fifth Generation Project, Hewlett Packard, IBM and Fujitsu. He has had visiting appointments at UC Santa Cruz, Syracuse University, Stanford, University of Queensland, Uppsala University in Sweden, and two universities in Africa.

   Note for Visitors to SRI

Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E (or call Wilma Lenz at 650 859 4904, or Eunice Tseng at 650 859 2799). SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. Please check the Building E entrance signage.

SRI International
©2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy