Knowledge

Fifth-generation programming language

Source 📝

25: 164:
are designed to build specific programs, fifth-generation languages are designed to make the computer solve a given problem without the programmer. This way, the user only needs to worry about what problems need to be solved and what conditions need to be met, without worrying about how to implement
208:
However, as larger programs were built, the flaws of the approach became more apparent. It turns out that, given a set of constraints defining a particular problem, deriving an efficient algorithm to solve it is a very difficult problem in itself. This crucial step cannot yet be automated and still
196:
In the 1980s, fifth-generation languages were considered to be the way of the future, and some predicted that they would replace procedural programming with constraint based programming for all tasks that could be framed as a series of logical constraints. Most notably, from 1982 to 1993,
225:. Because the hype of the 1980s faded away and the projects were eventually all dropped, 5GL awareness has also dropped; this has opened doors to the vendors to reuse the term in marketing their new tools, without causing much controversy among the current generations of programmers. 239: 433: 42: 89: 61: 68: 592: 426: 75: 57: 419: 526: 516: 218: 161: 574: 521: 511: 488: 297: 273: 108: 503: 82: 483: 130: 563: 478: 174: 46: 493: 310:
Kahanwal, Brijender (4 October 2013). "A taxonomy for programming languages with multisequential processes".
217:
Vendors have been known on occasion to advertise their languages as 5GL. Most of the time they actually sell
182: 552: 202: 166: 35: 234: 141: 471: 442: 244: 149: 133: 8: 348: 319: 136:
based on problem-solving using constraints given to the program, rather than using an
466: 461: 293: 269: 145: 165:
a routine or algorithm to solve them. Fifth-generation languages are used mainly in
329: 411: 178: 390: 222: 190: 586: 205:, hoping to design a massive computer network of machines using these tools. 333: 456: 137: 24: 369: 324: 312:
International Journal of Programming Languages and Applications
186: 198: 268:. Saratoga, Calif.: Javvin Technologies, Inc. p. 195. 170: 240:
List of programming languages for artificial intelligence
49:. Unsourced material may be challenged and removed. 441: 177:are examples of fifth-generation languages, as is 584: 427: 346: 209:requires the insight of a human programmer. 434: 420: 370:"Association for Logic Programming (ALP)" 323: 203:fifth-generation computer systems project 109:Learn how and when to remove this message 309: 292:, Mcgraw Hill Education (India), 2009, 212: 201:put much research and money into their 162:fourth-generation programming languages 58:"Fifth-generation programming language" 585: 388: 221:with a higher level of automation and 415: 123:fifth-generation programming language 263: 47:adding citations to reliable sources 18: 593:Programming language classification 361: 340: 282: 189:is an example of a related idea, a 16:A category of programming languages 13: 389:Howard, Philip (17 January 2007). 14: 604: 152:are fifth-generation languages. 23: 367: 34:needs additional citations for 443:Types of programming languages 382: 303: 257: 140:written by a programmer. Most 1: 543: 250: 575:Programming paradigms navbox 349:"FIFTH-GENERATION COMPUTERS" 7: 228: 10: 609: 264:Dong, Jielin, ed. (2007). 155: 502: 449: 290:Fundamentals of Computers 148:languages and some other 334:10.5121/ijpla.2013.3401 181:, which was built upon 167:artificial intelligence 235:Constraint programming 564:Programming languages 150:declarative languages 245:Programming paradigm 213:Common misconception 134:programming language 43:improve this article 391:"What makes a 5GL?" 347:Richard Grigonis. 266:Network dictionary 553:Computer language 540: 539: 288:E. Balagurusamy, 146:logic programming 119: 118: 111: 93: 600: 579: 573: 568: 562: 557: 551: 436: 429: 422: 413: 412: 406: 405: 403: 401: 386: 380: 379: 377: 376: 365: 359: 358: 356: 355: 344: 338: 337: 327: 307: 301: 286: 280: 279: 261: 142:constraint-based 114: 107: 103: 100: 94: 92: 51: 27: 19: 608: 607: 603: 602: 601: 599: 598: 597: 583: 582: 577: 571: 566: 560: 555: 549: 546: 541: 536: 498: 489:Very high-level 445: 440: 410: 409: 399: 397: 387: 383: 374: 372: 366: 362: 353: 351: 345: 341: 308: 304: 287: 283: 276: 262: 258: 253: 231: 215: 158: 115: 104: 98: 95: 52: 50: 40: 28: 17: 12: 11: 5: 606: 596: 595: 581: 580: 569: 558: 545: 542: 538: 537: 535: 534: 529: 524: 519: 514: 508: 506: 500: 499: 497: 496: 491: 486: 481: 475: 474: 469: 464: 459: 453: 451: 447: 446: 439: 438: 431: 424: 416: 408: 407: 381: 360: 339: 302: 298:978-0070141605 281: 274: 255: 254: 252: 249: 248: 247: 242: 237: 230: 227: 223:knowledge base 214: 211: 191:frame language 157: 154: 117: 116: 31: 29: 22: 15: 9: 6: 4: 3: 2: 605: 594: 591: 590: 588: 576: 570: 565: 559: 554: 548: 547: 533: 530: 528: 525: 523: 520: 518: 515: 513: 510: 509: 507: 505: 501: 495: 492: 490: 487: 485: 482: 480: 477: 476: 473: 470: 468: 465: 463: 460: 458: 455: 454: 452: 448: 444: 437: 432: 430: 425: 423: 418: 417: 414: 396: 392: 385: 371: 364: 350: 343: 335: 331: 326: 321: 317: 313: 306: 299: 295: 291: 285: 277: 275:9781602670006 271: 267: 260: 256: 246: 243: 241: 238: 236: 233: 232: 226: 224: 220: 210: 206: 204: 200: 194: 192: 188: 184: 180: 176: 172: 168: 163: 153: 151: 147: 143: 139: 135: 132: 128: 124: 113: 110: 102: 91: 88: 84: 81: 77: 74: 70: 67: 63: 60: –  59: 55: 54:Find sources: 48: 44: 38: 37: 32:This article 30: 26: 21: 20: 578:}} 572:{{ 567:}} 561:{{ 556:}} 550:{{ 531: 398:. Retrieved 395:The Register 394: 384: 373:. Retrieved 363: 352:. Retrieved 342: 315: 311: 305: 289: 284: 265: 259: 216: 207: 195: 159: 126: 122: 120: 105: 96: 86: 79: 72: 65: 53: 41:Please help 36:verification 33: 472:Interpreted 400:28 November 99:August 2018 504:Generation 484:High-level 375:2008-03-05 354:2008-03-05 251:References 169:research. 131:high-level 69:newspapers 479:Low-level 325:1311.3293 138:algorithm 587:Category 544:See also 494:Esoteric 467:Compiled 462:Assembly 300:, p. 340 229:See also 129:) is a 457:Machine 175:Mercury 156:History 83:scholar 527:Fourth 517:Second 296:  272:  187:KL-ONE 160:While 85:  78:  71:  64:  56:  532:Fifth 522:Third 512:First 450:Level 368:ALP. 320:arXiv 318:(4). 199:Japan 90:JSTOR 76:books 402:2019 294:ISBN 270:ISBN 219:4GLs 183:Lisp 179:ICAD 173:and 171:OPS5 144:and 62:news 330:doi 185:. 127:5GL 45:by 589:: 393:. 328:. 314:. 193:. 121:A 435:e 428:t 421:v 404:. 378:. 357:. 336:. 332:: 322:: 316:3 278:. 125:( 112:) 106:( 101:) 97:( 87:· 80:· 73:· 66:· 39:.

Index


verification
improve this article
adding citations to reliable sources
"Fifth-generation programming language"
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message
high-level
programming language
algorithm
constraint-based
logic programming
declarative languages
fourth-generation programming languages
artificial intelligence
OPS5
Mercury
ICAD
Lisp
KL-ONE
frame language
Japan
fifth-generation computer systems project
4GLs
knowledge base
Constraint programming

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.