{"id":"https://openalex.org/keywords/logic-programs","display_name":"logic programs","description":"Logic programs are sets of formal logical rules used to represent knowledge and perform computation in logic programming.","display_name_alternatives":["logic program","logical programs","logical program"],"ids":{"openalex":"https://openalex.org/keywords/logic-programs","wikidata":"https://www.wikidata.org/wiki/Q275603"},"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4489,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4489,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.3412,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"works_count":2985,"cited_by_count":41944,"works_api_url":"https://api.openalex.org/works?filter=keywords.id:keywords/logic-programs","updated_date":"2026-10-21T04:06:17","created_date":"2026-09-30T00:00:00"}