OPS5 je programovací jazyk založený na pravidlách, ktorý začiatkom 70. rokov 20. storočia navrhol Charles Forgy počas svojej doktorandskej práce na Carnegie Mellon University. Všeobecne sa považuje za prvý produkčný systém založený na pravidlách a inšpiroval množstvo neskorších jazykov založených na pravidlách, ako sú CLIPS, JESS a Drools.
OPS5 bol navrhnutý ako používateľsky prívetivejšia a výkonnejšia alternatíva k vtedy populárnemu programovaciemu jazyku Lisp. Jeho cieľom bolo umožniť programátorom jednoducho písať a udržiavať programy, ktoré by mohli prijímať rozhodnutia na základe súboru pravidiel.
Forgy založil syntax OPS5 na syntaxi jazyka Lisp, ale urobil v ňom niekoľko dôležitých zmien. Najmä nahradil syntax S-výrazov jazyka Lisp tradičnejšou infixovou notáciou. Vďaka tomu sa programy OPS5 oveľa ľahšie čítajú a píšu a umožnilo sa aj používanie štandardných aritmetických operátorov.
Programy OPS5 sa skladajú zo súboru pravidiel. Každé pravidlo má podmienku a akciu. Keď je splnená podmienka pravidla, vykoná sa akcia. To umožňuje programom rozhodovať a vykonávať akcie na základe súboru podmienok.
OPS5 je výkonný a expresívny jazyk, ktorý je vhodný pre širokú škálu aplikácií. Zvlášť dobre sa hodí pre umelú inteligenciu a expertné systémy.