{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001091294,0.0008964803,0.0009458287,0.000918181,0.0003628668,0.0009515173,0.004412638,0.0006612488,0.00006030135],"category_scores_gemma":[0.0001454159,0.0007325663,0.000230936,0.001234058,0.0006017235,0.0005073198,0.001570047,0.001120364,0.0003645531],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000324861,"about_ca_system_score_gemma":0.0005547925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004056233,"about_ca_topic_score_gemma":0.0003790832,"domain_scores_codex":[0.9934412,0.0001131949,0.0008191456,0.002881389,0.001299358,0.001445707],"domain_scores_gemma":[0.9964959,0.0003345718,0.0003932392,0.002127676,0.0002345569,0.0004140275],"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.00002929455,0.00009794382,0.0001357327,0.00004363711,0.00003376291,0.0004989199,0.008154168,0.001676182,0.0001360304,0.03246638,0.00004578821,0.9566821],"study_design_scores_gemma":[0.002167543,0.004238235,0.0004189664,0.0006059772,0.00009143582,0.0005557992,0.0000148251,0.1264469,0.002978164,0.7046368,0.1523925,0.005452869],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004860063,0.0008776093,0.9875404,0.0007966123,0.002308595,0.002027139,0.000006653627,0.0007162874,0.005240707],"genre_scores_gemma":[0.556846,0.00001986085,0.4359749,0.003623051,0.001964662,0.0002062107,0.00004390043,0.00009073719,0.001230734],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9512293,"threshold_uncertainty_score":0.9995126,"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."}}