{"id":37755,"library":"elpi","title":"ELPI","description":"Embeddable lambda-Prolog interpreter providing a CLI tool for logic programming.","status":"active","version":"1.17.4","language":"ocaml","source_language":null,"source_url":null,"tags":[],"install":[{"cmd":"apt install elpi"}],"dependencies":[],"imports":[],"quickstart":null,"warnings":[],"env_vars":null,"search_vec":"'cli':9 'elpi':1 'embedd':2 'interpret':6 'lambda':4 'lambda-prolog':3 'logic':12 'program':13 'prolog':5 'provid':7 'tool':10","created_at":"2026-05-31T18:31:53.916406+00:00","updated_at":"2026-05-31T18:31:53.916406+00:00","problems":[],"ecosystem":"pypi","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"cli","homepage":"https://github.com/LPCIC/elpi","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["productivity"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":null,"next_check":null,"install_tag":"reviewed"}}