{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007790397,0.0004556309,0.0003577058,0.00177095,0.001527393,0.005572701,0.0007458235,0.001128596,0.005477568],"category_scores_gemma":[0.01129616,0.0004157943,0.0004380711,0.001846239,0.007790131,0.008479998,0.002945967,0.004365487,0.001775088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00330183,"about_ca_system_score_gemma":0.002365522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003159819,"about_ca_topic_score_gemma":0.001584595,"domain_scores_codex":[0.9950329,0.002629942,0.0002979122,0.0005579403,0.001186577,0.0002947456],"domain_scores_gemma":[0.9902111,0.005408723,0.0004708362,0.001230009,0.002190409,0.0004889558],"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.00008049486,0.00003016117,0.000582664,0.000284791,0.00001513259,0.0001035056,0.001854281,0.001030288,0.0005200037,0.8380015,0.02162804,0.1358692],"study_design_scores_gemma":[0.00001113135,0.0000493769,0.0006048117,0.0008857853,0.00001005179,0.0002039776,0.0007500662,0.001902868,0.0007976341,0.1880619,0.8066899,0.00003244138],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"review","genre_scores_codex":[0.04355383,0.1968633,0.2580777,0.1370512,0.009660791,0.0001748523,0.0007603548,0.001594349,0.3522637],"genre_scores_gemma":[0.5646145,0.1509296,0.1606795,0.03062416,0.007564734,0.0002545182,0.0009978142,0.002014993,0.08232009],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.007790397,"threshold_uncertainty_score":0.0412001,"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."}}