{"id":"W2128874347","doi":"10.1109/tai.1989.65320","title":"A new intelligent backtracking scheme for Prolog: a summary of results","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Backtracking; Prolog; Unification; Computer science; Scheme (mathematics); Overhead (engineering); Implementation; Benchmark (surveying); Programming language; Dependency (UML); Theoretical computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.0006040109,0.00009514988,0.0001587384,0.000055149,0.0000411666,0.00005755091,0.000404401,0.00006352355,0.000009721595],"category_scores_gemma":[0.0001699831,0.00007163503,0.00008227183,0.0002071969,0.00001786101,0.0001474355,0.00006103456,0.00005287693,0.00002072238],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001613335,"about_ca_system_score_gemma":0.0001254692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007916925,"about_ca_topic_score_gemma":0.00003419515,"domain_scores_codex":[0.9989649,0.00003943925,0.0003216744,0.000289963,0.000140369,0.0002436294],"domain_scores_gemma":[0.9992181,0.00009834265,0.0001212891,0.0003848353,0.00009704912,0.00008037472],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001900471,0.00005174148,0.0003460801,0.00004096353,0.00002000763,0.000002033697,0.0005536795,0.00000595912,0.0003780367,0.9532177,0.007508241,0.03785658],"study_design_scores_gemma":[0.001740669,0.0009079287,0.0001406729,0.0000233922,0.0000118239,0.00003347409,0.0001893412,0.007135219,0.08141115,0.1046868,0.8032836,0.0004359227],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002587826,0.0002457825,0.9675233,0.0001865586,0.0003339627,0.0004355407,3.926988e-7,0.00009373363,0.03092191],"genre_scores_gemma":[0.6591176,0.000007278379,0.3339561,0.0001132116,0.00006373473,0.00002416909,0.000002170541,0.000007284727,0.006708423],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8485309,"threshold_uncertainty_score":0.2921191,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04835263325846838,"score_gpt":0.2810132444947195,"score_spread":0.2326606112362511,"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."}}