This paper compares the use of Lisp and Prolog for the implementation of a func tional grammar uni cation system To achieve this comparison we have taken as a starting point Michael Elhadad s FUF system which is written in Lisp and produced a much smaller and more e cient Prolog version PFUF retaining many of FUF s essential features Our approach is based on a precompilation scheme that reduces...

Summery : This paper presents e system (PHENARETE) which understands and improves incompletely defined LISP programs, such as those written by students beginning t,o program in LISP. This system takes, as input, the program without any additional information. In order to understand the program, the system mete-evaluates it, using a library of praqmatic rules, describing the construction and cor...

GLISP is a high-level LISP-based language which is compiled into LISP using a knowledge base of object descriptions. l.isp objects and objects in AI. rcprcscntation languages arc treated uniformly; this makcc program code independent of the data representation used, and permits changes of representation without changing code. GI,lSP’s object description language provides a powerful abstract dat...

Lisp is widely known as an extremely versatile language. In this paper we will demonstrate that Lisp can be used as a powerful markup language for WWW authoring and for provision of information on the Internet. Using the LAML approach, as introduced in this paper, we write textual documents directly in Lisp; Function calls serve as applications of tags, as known from the SGML family of markup l...

We present a Lisp system XS which is designed to control RCX blocks of the Lego MindStorms Robotics Invention System (RIS). Unlike previous Lisp/Scheme implementations for the MindStorms, the evaluator of XS runs autonomously on the RCX, with its own runtime stacks and garbage-collected heap. It communicates with the front-end subsystem on a PC, to provide an interactive programming environment...

A World−Wide Web (WWW) server was implemented in Common LISP in order to facilitate exploratory programming in the global hypermedia domain and to provide access to complex research programs, particularly artificial intelligence systems. The server was initially used to provide interfaces for document retrieval and for email servers. More advanced applications include interfaces to systems for ...

CMU Common Lisp is an implementation of that Common Lisp is currently supported on MlPS-processor DECstations, Sparc-based workstations from Sun and the IBM RT PC, and other ports are planned. All architectures are supported under Mach, a Berkeley Unix 4.3 binary compatible operating system. The Sparc is also supported under SunOS. The largest single part of this document describes the Python c...

Lisp is well known for its metacircular deenitions. They diier by their intent (what they want to prove), their means (what linguistic features are allowed for the deenition) and by their scope (what linguistic features are described). This paper provides a new metacircular deenition for a complete Lisp system including traditionally neglected features such as cons, read, print and error. The p...

Tablog12 is a logic programming ing languages, given their emphasis on A program in Tablog is a list of forlanguage that combines functional and using predicates to describe computamulas in quantifier-free, first-order relational programming into a unified tions. logic with equality and is usually more framework. It incorporates advanAn even broader definition of the natural than the correspond...

The Internet has been created for interconnecting few hundreds networks, but is now close to one billion hosts, grouped in 40,000 Autonomous Systems, using more than 400,000 prefixes. Such a situation raises scalability issues that have driven both academia and industry to review the current Internet Architecture in the light of the Locator/Identifier Split paradigm. In particular, the Internet...