{"id":"W1485791179","doi":"10.1007/10722280_37","title":"From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Prolog; Programming language; Computer science; Logic programming; Object (grammar); Constraint programming; Java; Horn clause; Artificial intelligence; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"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.0008823927,0.0008537573,0.0007549357,0.0010986,0.0008555056,0.004357778,0.001640435,0.0008476704,0.01588816],"category_scores_gemma":[0.002449998,0.001003601,0.0009437554,0.001902534,0.001911305,0.006967245,0.003021423,0.004619393,0.0104644],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009299128,"about_ca_system_score_gemma":0.00190347,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002048238,"about_ca_topic_score_gemma":0.00211078,"domain_scores_codex":[0.9992773,0.0001326615,0.00008575029,0.0001445663,0.0002733656,0.00008631049],"domain_scores_gemma":[0.9994855,0.0002092961,0.00003702383,0.00009673034,0.0001065106,0.00006482535],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000094927,0.00006933711,0.0001859955,0.0008374279,0.00002486637,0.0001956981,0.0004808829,0.002525379,0.003456282,0.4192417,0.1338061,0.4390815],"study_design_scores_gemma":[0.00004732173,0.00003156458,0.000178432,0.0002573303,0.00002756338,0.0004559255,0.00007416068,0.00531537,0.004740482,0.2907303,0.6980945,0.00004695692],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002000062,0.004482898,0.9260928,0.002556977,0.001143123,0.0001322724,0.0009242389,0.01339227,0.04927535],"genre_scores_gemma":[0.0299801,0.009307505,0.8942474,0.003370272,0.0009387552,0.0002600246,0.002811344,0.01065676,0.04842794],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01588816,"threshold_uncertainty_score":0.05315119,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0153579781809225,"score_gpt":0.2504639400041163,"score_spread":0.2351059618231938,"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."}}