~/talk

On Bridging Prolog and Python to Enhance an Inductive Logic Programming System

Talkat PADL 2025 · 2025-01-20..01-21· [python]
links:none on file
links:none on file
slides:none on file

A Prolog–Python bridge implements a C++ middle layer and SWIG type maps plus C glue to convert terms bidirectionally, exporting C++ classes (up_term, up_engine, up_atom, up_error) as Python classes; error objects are language-neutral and term conversions preserve numeric types. Demonstrations include an XML reader adapted in about one week and an ILP enhancement that turns bottom clause → graph and renders it with visualization with pandas+D3, working well if data moves in bulk to avoid per-call overhead.

AI-written summary · about

  1. 0:00Bridging Prolog and Python
  2. 2:13Interface architecture design
  3. 5:24C++ interface classes
  4. 8:38Swig and type mapping
  5. 11:49Handling terms and strings
  6. 13:15Atoms versus strings decision
  7. 15:20Prolog to Python calls
  8. 16:26Visualizing ILP results
  9. 19:57Python Prolog interpreter
  10. 21:02ILP use cases
  11. 23:36Number handling
  12. 25:02Potential applications with large language models
  13. 26:29Interactive ILP integration
  14. 27:31Performance for data transfer
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.