Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog https://ift.tt/CoVQpUF

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog Hi HN, Today I'd like to present the results of my weekend project of the last year or so. Given there are many posts on HN about LLMs and Prolog, I thought that this would be of interest. DeepClause is my own (possibly misguided :-) attempt at combining LLMs with Logic Programming, ultimately hoping to establish a foundation for building more reliable agents, that produce reproducible and fully traceable result. At the heart of DeepClause is a DSL called "DeepClause Meta Language" (DML) which can be used to encode agent behaviors as executable logic programs. DML is executed by a meta-interpreter implemented in Prolog and thus natively supports things like constraint logic programming, knowledge graphs, symbolic reasoning, ... The DML interpreter itself runs inside the SWI Prolog WASM module, thus allowing for a secure and sandboxed execution environment for AI agents. The project is still rough around a lot of edges, but I'd love to get some feedback and comments. https://ift.tt/ACdLm02 November 15, 2025 at 08:53PM

Komentar

Posting Komentar

Postingan populer dari blog ini

Show HN: Guish – A GUI for constructing and executing Unix pipelines https://ift.tt/HrXz5ub

Show HN: Guish – A GUI for constructing and executing Unix pipelines guish is a dynamic data pipeline UI that allows users to visually construct and execute complex command-line pipelines. It provides an intuitive interface for chaining together various Unix commands and custom plugins, making it easier to build and understand data processing workflows. It also features optional LLM support for updating pipelines with a natural language interface. https://ift.tt/2lsA0r5 August 2, 2024 at 10:00PM
Baca selengkapnya

Twin Peaks for All: Survey Results

Gambar
Twin Peaks for All: Survey Results By Benjamin Barnett Last month, the SFMTA and San Francisco Recreation and Parks Department released a survey seeking public feedback regarding  five proposed roadway options for Twin Peaks Boulevard . San Franciscans responded to the survey, ranked support for each alternative and shared opinions about how the different options met their needs.  The Twin Peaks for All survey was open for almost three weeks and received more than 1,700 responses. This number reflects the high level of interest for this San Francisco park and its future access.   Survey Background Conditions on Twin Peaks Boulevard between Portola Drive and Barnett Avenue before COVID street closures.   The Twin Peaks Boulevard gates were closed early in the pandemic to reduce crowding at the lookout point parking lot. The gates were closed on the north, at Burnett Avenue, and the south, at Portola Drive. Since then, Twin Peaks Park use by hikers, joggers and peopl...
Baca selengkapnya

History in Motion: New Photos from the 1960s to 1980s Now Online

Gambar
History in Motion: New Photos from the 1960s to 1980s Now Online By Jeremy Menzies We’ve been hard at work in the SFMTA Photo Archive and recently uploaded two large collections of photos from the early 1960s to the 1980s to our website. These photos, both color and black and white, give a glimpse into the day-to-day operations of Muni and the streets of San Francisco. Here’s a selection of shots from this brand-new batch of photos, many of which have not been seen outside the Photo Archive in years.  This shot shows a typical evening rush hour scene from the mid-1970s taken at Market and Powell Streets.  The color photos from this era are all part of a collection that was most likely used for presentations, studies and as general “stock” type photos of San Francisco, streets and Muni facilities and operations. Subjects include project documentation, copies of maps and charts, street...
Baca selengkapnya