Abstract:The Teyjus system realizes the higher-order logic programming language$\lambda$Prolog by compiling programs into bytecode for an abstract machine and executing this translated form using a simulator for the machine. Teyjus supports a number of builtin relations that are realized through C code. In the current scheme, these relations are realized by including the C programs that implement them within the simulator and tailoring the compiler to produce instructions to invoke such code. There are two drawbacks to such an approach. First, the entire collection of library functions must be included within the system, thereby leading to a larger than necessary memory footprint. Second, enhancing the collection of built-in predicates requires changing parts of the simulator and compiler, a task whose accomplishment requires specific knowledge of these two subsystems. This project addresses these problems in three steps. First, the code for the builtin functions is moved from the simulator into a library from where relevant parts, determined by information in the bytecode file, are linked into the runtime system at load time. Second, information is associated with each library function about how it can be invoked from a $\lambda$Prolog program and where the C code for it is to be found. Finally, the compiler is modified to use the preceding information to include relevant linking instructions in the bytecode file and to translate invocations to builtin relations into a special instruction that calls the dynamically linked code. More generally, these ideas are capable of supporting an interface in $\lambda$Prolog to "foreign functions" implemented in C, a possibility that is also discussed.

Lightweight compilation of (C)LP to JavaScript

Fully abstract compilation to JavaScript

ECLiPSe - from LP to CLP

Practical partial evaluation for high-performance dynamic language runtimes

Modularity and Separate Compilation in Logic Programming

An LLM Compiler for Parallel Function Calling

Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY

A scheme for dynamically integrating C library functions into a $λ$Prolog implementation

Verification of Java Bytecode using Analysis and Transformation of Logic Programs

Description and Optimization of Abstract Machines in a Dialect of Prolog

Verified Code Transpilation with LLMs

Compilation Semantics for a Programming Language with Versions

The Logical Essence of Compiling With Continuations

Prose-to-P4: Leveraging High Level Languages

Just-In-Time Compilation on ARM—A Closer Look at Call-Site Code Consistency

An LLM-Tool Compiler for Fused Parallel Function Calling

Verified Compilation for Shared-Memory C

Formally Verified Native Code Generation in an Effectful JIT -- or: Turning the CompCert Backend into a Formally Verified JIT Compiler

A Composable Just-In-Time Programming Framework with LLMs and FBP

Computing LPMLN Using ASP and MLN Solvers

A Module System for Domain-Specific Languages