GitHub

diohabara/new-vsc-prolog

A VS Code extension which provides language support for Prolog (mainly for SWI-Prolog and some features for ECLiPSe). An improvement on Arthur Wang's previous VSC-Prolog extension. For Windows users: ...
CodeZine（コードジン）

Rubyで作るProlog処理系

Developers Summit 2026・Dev x PM Day 講演資料まとめ Developers Boost 2025 講演資料まとめ Developers X Summit 2025 講演資料まとめ Developers Summit 2025 FUKUOKA 講演関連資料まとめ Developers Summit 2025 KANSAI 講演関連資料まとめ Developers ...
note

CHR-PrologによるRCSP（中日程計画）をやってみた☑

さっきはさ、「ガード」によって「事実」を消したよね。 普通は制約条件を動的に追加していく感じになるのかな？ タスク開始 → 新しい時間制約追加 リソース消費 → 新しい容量制約追加 依存関係発生 → 新しい順序制約追加 動的制約追加の方が自然ですね ...
GitHub

A collection of old Prolog Code I wrote before the AI Winter in the early 1990s

In the late 1980s and early 1990s, I was doing AI programming using software developed by IBM for mainframes. I started writing AI code using IBM's Expert System Environment (ESE) which is a rule ...
www.cs.cmu.edu

lang/prolog/code/bench/

This directory contains code for benchmarking Prolog implementation compatibility and performance. Naive reverse is the classical benchmark for computing LIPS (Logical Inferences Per Second). However, ...
www.cs.cmu.edu

lang/prolog/code/eval/parteval/

This directory contains Prolog code for the partial evaluator for the flowchart language described in Chapter 4 of N.D. Jones, C.K. Gomard, and P. Sestoft, "Partial Evaluation and Automatic Program ...