Search Sciweavers | Sciweavers

926 search results - page 7 / 186

» Prolog as the First Programming Language

246

click to vote

JUCS
2006

175views more JUCS 2006»

The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages

15 years 5 months ago

Download www.jucs.org

: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...

Anderson Faustino da Silva, Vítor Santos Co...

claim paper

Read More »

190

click to vote

ICLP
2004
Springer

482views Automated Reasoning» more ICLP 2004»

MProlog: An Extension of Prolog for Modal Logic Programming

15 years 11 months ago

Download www.mimuw.edu.pl

We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...

Linh Anh Nguyen

claim paper

Read More »

125

click to vote

ECOOP
2007
Springer

87views Programming Languages» more ECOOP 2007»

A Higher Abstraction Level Using First-Class Inheritance Relations

15 years 12 months ago