{"id":"W4280605585","doi":"10.1017/s1471068422000102","title":"Fifty Years of Prolog and Beyond","year":2022,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Fundação para a Ciência e a Tecnologia; NOVA Laboratory for Computer Science and Informatics; Natural Sciences and Engineering Research Council of Canada; Ministerio de Ciencia e Innovación","keywords":"Prolog; Computer science; Programming language; Implementation; Software portability; Logic programming; Datalog; Software engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005016219,0.00009517041,0.0002120608,0.00007138565,0.0001628783,0.00005120061,0.0003366849,0.00004371225,0.00001328349],"category_scores_gemma":[0.0006749994,0.00008678075,0.00003670726,0.000242106,0.0001926936,0.0003918516,0.0005181984,0.0001896921,0.000001017904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008429086,"about_ca_system_score_gemma":0.0000360388,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002587199,"about_ca_topic_score_gemma":7.643512e-7,"domain_scores_codex":[0.9981534,0.0009058531,0.0002513538,0.0002672399,0.0002215487,0.0002005827],"domain_scores_gemma":[0.9978527,0.001394744,0.0003676926,0.0002738977,0.00005710776,0.00005389036],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001090248,0.0001018299,0.0001589788,0.00004532625,0.00002740046,0.00001909813,0.002676934,0.000003630343,0.0001717311,0.6760435,0.000008639822,0.3206339],"study_design_scores_gemma":[0.00100939,0.003154906,0.0006106451,0.000007231662,0.0001132604,0.001038501,0.008361899,0.0002678423,0.0004441296,0.8002599,0.1843421,0.000390088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.212824,0.04295453,0.6493171,0.004523547,0.001949297,0.004212236,0.00001308579,0.0007762027,0.08343004],"genre_scores_gemma":[0.9807358,0.0000528652,0.01887909,0.0001748364,0.0000195162,0.00003970536,0.000001554058,0.000005353033,0.00009123213],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7679119,"threshold_uncertainty_score":0.3538817,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02326956094968936,"score_gpt":0.278226877541892,"score_spread":0.2549573165922027,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}